Knuth-Bendix algorithm
克努特-本迪克斯算法
热门查询
- palimpsest n. 重写本 写在重写本上的
- Lossiemouth 洛西茅斯
- bronchitis n. [内科] 支气管炎
- brandy n. 白兰地酒 n. (Brandy)人名；(法)布朗迪
- neurodegenerative adj. 神经变性的
- pontificate vi. 执行教皇职务；武断地表示意见 n. 教皇的职位
- plunder n. 抢夺；战利品；掠夺品 vt. 掠夺；抢劫；侵吞 vi. 掠夺；盗窃
- underappreciated adj. 未受到充分赏识的；未得到正确评价的
- swing n. 摇摆；摆动；秋千；音律；涨落 adj. 旋转的；悬挂的；强节奏爵士音乐的 vt. 使旋转；挥舞；悬挂 vi. 摇摆；转向；悬挂；大摇大摆地行走 n. (Swing)人名；(英、瑞典)斯温
- pusillanimous adj. 胆怯的；懦弱的；优柔寡断的
- slithery adj. 滑溜的；滑的
- maison [人名] 梅森
- agnostic n. 不可知论者 adj. 不可知论的
- asymptotically adv. 渐近地
- Wolstenholme [人名] [英格兰人姓氏] 沃斯滕霍姆住所名称，来源于古英语人名，含义是“狼+石头”(wolf+stone)+古诺斯语，含义是“岛，沼泽中的干地”(island,dry land in a fen); [地名] [加拿大] 伍尔斯滕霍姆
- greyhound n. 灰狗（一种猎犬）；快速船
- cruelty n. 残酷；残忍；残酷的行为
- dextrous adj. 机巧的，巧妙的
- marshy adj. 沼泽的；湿地的
- overgrow vt. 长满于；长得超过 vi. 生长过度
